default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods and Testing 2008

> Home > Conferences and Workshops > Formal Methods and Testing

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fortest/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fortest/2008
Robert M. Hierons, Jonathan P. Bowen, Mark Harman:
Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers. Lecture Notes in Computer Science 4949, Springer 2008, ISBN 978-3-540-78916-1
- view
  authority control:
- export record
  dblp key:
  - conf/fortest/Tretmans08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fortest/Tretmans08
Jan Tretmans:
Model Based Testing with Labelled Transition Systems. 1-38
- view
  authority control:
- export record
  dblp key:
  - conf/fortest/VeanesCGSTN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fortest/VeanesCGSTN08
Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson:
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. 39-76
- view
  authority control:
- export record
  dblp key:
  - conf/fortest/HesselLMNPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fortest/HesselLMNPS08
Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou:
Testing Real-Time Systems Using UPPAAL. 77-117
- view
  authority control:
- export record
  dblp key:
  - conf/fortest/AmmannOX08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fortest/AmmannOX08
Paul Ammann, Jeff Offutt, Wuzhi Xu:
Coverage Criteria for State Based Specifications. 118-156
- view
  authority control:
- export record
  dblp key:
  - conf/fortest/ChenHU08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fortest/ChenHU08
Jessica Chen, Robert M. Hierons, Hasan Ural:
Testing in the Distributed Test Architecture. 157-183
- view
  authority control:
- export record
  dblp key:
  - conf/fortest/Bogdanov08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fortest/Bogdanov08
Kirill Bogdanov:
Testing from X-Machine Specifications. 184-208
- view
  authority control:
- export record
  dblp key:
  - conf/fortest/GaudelG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fortest/GaudelG08
Marie-Claude Gaudel, Pascale Le Gall:
Testing Data Types Implementations from Algebraic Specifications. 209-239
- view
  authority control:
- export record
  dblp key:
  - conf/fortest/VilkomirB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fortest/VilkomirB08
Sergiy A. Vilkomir, Jonathan P. Bowen:
From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria. 240-270
- view
  authority control:
- export record
  dblp key:
  - conf/fortest/Weyuker08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fortest/Weyuker08
Elaine J. Weyuker:
Comparing the Effectiveness of Testing Techniques. 271-291
- view
  authority control:
- export record
  dblp key:
  - conf/fortest/SchieferdeckerGVD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fortest/SchieferdeckerGVD08
Ina Schieferdecker, Jens Grabowski, Theofanis Vassiliou-Gioles, George Din:
The Test Technology TTCN-3. 292-319
- view
  authority control:
- export record
  dblp key:
  - conf/fortest/HarmanBBHHKMR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fortest/HarmanBBHHKMR08
Mark Harman, André Baresel, David W. Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper:
Testability Transformation - Program Transformation to Improve Testability. 320-344
- view
  authority control:
- export record
  dblp key:
  - conf/fortest/LittlewoodPSS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fortest/LittlewoodPSS08
Bev Littlewood, Peter T. Popov, Lorenzo Strigini, Nick Shryane:
Modelling the Effects of Combining Diverse Software Fault Detection Techniques. 345-366

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.